x86: make dump_pageframe_info() slightly more verbose for dying domains
authorJan Beulich <jbeulich@suse.com>
Thu, 25 Sep 2014 09:55:49 +0000 (11:55 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 25 Sep 2014 09:55:49 +0000 (11:55 +0200)
commit0f67514c855299ad59bb18a91cb9ae1016a6e63b
treedb603f749506da2d7edf79c16eaed8e9bd983a96
parent970cfb09da6704088ab12fe5014793f497d3654f
x86: make dump_pageframe_info() slightly more verbose for dying domains

Allowing more than just 10 pages to be printed in this case gives a
better chance to fully understand eventual page reference leaks: Report
up to 16 "normal" (writable or untyped) pages, and an unlimited number
of special type (page or descriptor table) ones.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c